_Purpose._ The paper seeks to prove the thesis of the significance and importance of the theories and methodological approaches of historical anthropology, which are aimed at understanding the meanings, essence and value systems of human existence in the past for philosophical anthropology. The study of this problem is relevant for understanding the evolution of human identity with philosophical and anthropological concepts, understanding the essence of one’s own existence and attitude to the world. _Theoretical basis._ The author conducts research in the (...) analysis of the reflexive field of philosophical anthropology and related disciplines, in particular historical anthropology, implemented in the philosophical literature of recent centuries, that is, in the space of non-classical and modern philosophical thought. _Originality._ I raise and substantiate the theoretical question of the scientific significance of the analysis of human existence in the past thanks to the involvement of theoretical approaches and concepts formed in the reflexive field of modern historical and anthropological research. This forms the prerequisites for understanding complex and interdisciplinary explorations of the essence and cultural and spiritual values of human existence. I analyse the problems of the work in the context of the concept of the incompleteness of the project of philosophical anthropology without its involvement in the theoretical achievements of historical-anthropological investigations. _Conclusions._ In my opinion, modern historical and anthropological studies of the essence and meanings of being a person of the past form an extensive theoretical system. It is realized through such theoretical aspects of comprehension of human existence by historical and anthropological studies as "history of mentalities", "microhistory", "history of women", "new cultural history", "history of identity", "history of memory", history of mental aspects of political processes. Methodological approaches and concepts of modern historical anthropology form the basis of mental reconstruction and understanding of the mental and cultural causes and factors of human existence, thanks to the analysis of the evolution of the worldview, behaviour, outlook, various forms of individual and social activity of the individual. (shrink)

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...) term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)

Physician-written “do not resuscitate” DNR orders elicit negative reactions from stakeholders that may decrease appropriate end-of-life care. The semantic significance of the phrase has led to a proposed replacement of DNR with “allow natural death” . Prior to this investigation, no scientific papers address the impact of such a change. Our results support this proposition due to increased likelihood of endorsement with the term AND.

Previous claims that psychology is propaedeutic to the other sciences have been met with enthusiastic indifference. Contributing to this indifference has been the fact that psychology, a young and unproved discipline which habitually borrowed the methods of the older sciences, has too frequently revised its notion as to its own nature and subject-matter. More important, however, has been the faith of the physical sciences in the absolute character of their own basic concepts: in the reality of Absolute Space and Absolute (...) Time and in the universality of deterministic principles, for, as long as physics presumed to deal with entities which are what they are regardless of the nature of man, nothing other than these entities appeared to demand prior consideration. The problem of the nature of the observer in the physical experiment became important to physics only as a consequence of the recent ‘subjective’ revolution. It is this revolution which has revitalized the problem of the propaedeutic science and has accentuated the distinction which we must make between the behavioral phenomenon of individuals creating formal arrays of words or symbols which are without operational meaning and the discriminatory responses, or operations, by which the empirical meaning of such arrays is determined. (shrink)

This paper proposes a Cournot game organized by three competing firms adopting bounded rationality. According to the marginal profit in the past time step, each firm tries to update its production using local knowledge. In this game, a firm’s preference is represented by a utility function that is derived from a constant elasticity of substitution production function. The game is modeled by a 3-dimensional discrete dynamical system. The equilibria of the system are numerically studied to detect their complex characteristics due (...) to difficulty to get an explicit form for those equilibria. For the proposed utility function, some cases with different value parameters are considered. Numerical simulations are used to provide an experimental evidence for the complex behavior of the evolution of the system. The obtained results show that the system loses its stability due to different types of bifurcations. (shrink)

In the paper A. I. Malcev's problem on the characterization of axioms for classes with strong homomorphisms is being solved.

The Hanf number for a set S of sentences in \ is the least infinite cardinal \ such that for all \, if \ has models in all infinite cardinalities less than \, then it has models of all infinite cardinalities. Friedman asked what is the Hanf number for Scott sentences of computable structures. We show that the value is \. The same argument proves that \ is the Hanf number for Scott sentences of hyperarithmetical structures.